| 1. | As such constructive mathematics also rejects the law of excluded middle.
|
| 2. | We therefore seem to have a violation of the Law of Excluded Middle.
|
| 3. | In this way Peirce's law implies the law of excluded middle.
|
| 4. | An example of an argument that depends on the law of excluded middle follows.
|
| 5. | Aristotle is credited with what later would be called the law of excluded middle.
|
| 6. | The law of excluded middle can be used to prove the decidability of certain computational problems.
|
| 7. | By the law of excluded middle, Goldbach's conjecture is either true or false.
|
| 8. | A typical example is intuitionistic logic, where the law of excluded middle does not hold.
|
| 9. | Putative counterexamples to the law of excluded middle include the liar paradox or Quine's Paradox.
|
| 10. | Bertrand Russell asserts a distinction between the " law of excluded middle " and the " law of noncontradiction ".
|